Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
271	A Model-Based Frequency Constraint for Mining Associations from Transaction Data∗ Michael Hahsler [removed] Add to Reading List Source URL: michael.hahsler.net Language: English - Date: 2007-03-20 04:44:48 Association rule learning Information Database Mixture model Apriori algorithm Data mining Statistics Data management
272	i i “p01c04˙cds” — [removed] — 10:12 — page 131 — #1 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Mathematical logic Mathematics Boolean satisfiability problem DPLL algorithm Clause Resolution Conjunctive normal form Local consistency Unit propagation Theoretical computer science Constraint programming Automated theorem proving
273	A STABLE GEOMETRIC BUILDUP ALGORITHM FOR THE SOLUTION OF THE DISTANCE GEOMETRY PROBLEM USING LEAST-SQUARES By Atilla Sit Add to Reading List Source URL: ima.umn.edu Language: English - Date: 2011-10-06 10:33:09 Least squares Mathematics Distance Matrix Economics Sparse approximation Constraint algorithm Mathematical optimization Regression analysis Statistics
274	Approximability of Constraint Satisfaction Problems Venkatesan Guruswami Carnegie Mellon University October 2009 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-11-30 17:57:22 Constraint satisfaction problem Mathematics Computational complexity theory Mathematical optimization Probabilistic complexity theory Constraint satisfaction Combinatorial optimization Approximation algorithm Probabilistically checkable proof Theoretical computer science Constraint programming Applied mathematics
275	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
276	Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-06-22 08:43:27 Constraint programming Computational complexity theory Constraint satisfaction problem 2-satisfiability Constraint satisfaction Approximation algorithm Logic in computer science Combinatorial optimization Linear programming Theoretical computer science Applied mathematics Mathematics
277	On the Approximation Resistance of a Random Predicate Johan H˚ astad August 20, 2007 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2007-09-24 02:58:20 Approximation algorithm Constraint programming Computational complexity theory Constraint satisfaction problem
278	Max-CSP Semi-Definite programming Inapproximability results Classification On the efficient approximability of constraint Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2007-09-24 02:55:53 Complexity classes Mathematical optimization Constraint satisfaction problem Approximation algorithm NP-complete P versus NP problem Bounded-error probabilistic polynomial Constraint satisfaction NP Theoretical computer science Computational complexity theory Applied mathematics
279	Constraint Propagation and Backtracking-based Search Add to Reading List Source URL: ktiml.mff.cuni.cz Language: English - Date: 2005-09-20 11:29:18 Artificial intelligence Constraint satisfaction Local consistency Constraint logic programming Local search Backjumping Look-ahead Backtracking Search algorithm Constraint programming Software engineering Computer programming
280	A PENALTY FUNCTION METHOD FOR CONSTRAINED MOLECULAR DYNAMICS SIMULATION Add to Reading List Source URL: ima.umn.edu Language: English - Date: 2011-10-06 10:24:37 Numerical analysis Computational chemistry Constraint algorithm Penalty method Molecular dynamics Lagrange multiplier Constraint optimization Function Relaxation Mathematical optimization Mathematics Mathematical analysis

UPDATE